Mutually complementary partial orders

نویسندگان

  • Jason I. Brown
  • Stephen Watson
چکیده

Two partial orders P = (X, S) and Q = (X, s’) are complementary if P fl Q = {(x, x): x E x} and the transitive closure of P U Q is {(x. y): x, y E X}. We investigate here the size w(n) of the largest set of pairwise complementary par!iai orders on a set of size n. In particular, for large n we construct L?(n/iogrt) mutually complementary partial orders of order n, and show on the other hand that o(n) <0.486n for ail sufficiently large II. This provides an estimate of the maximum number of mutually complementary ?;, topologies on a set of size n.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ordered and Disordered Source Coding

The separation of the information in a vector into order (a permutation) and value (a multiset) is studied. We formulate rate-distortion problems in which order is irrelevant, for which we give conclusive results in cases where the set size approaches infinity. Conversely, we present a distortion measure on partial orders and source coding techniques based on partial orders. Multiple partial or...

متن کامل

Complementarity in Quantum Systems

Reduction of a state of a quantum system to a subsystem gives partial quantum information about the true state of the total system. Two subalgebras A1 and A2 of B(H) are called complementary if the traceless subspaces of A1 and A2 are orthogonal (with respect to the Hilbert-Schmidt inner product). When both subalgebras are maximal Abelian, then the concept reduces to complementary observables o...

متن کامل

Complementary partial resolution squares for Steiner triple systems

In this paper, we introduce a generalization of frames called partial resolution squares. We are interested in constructing sets of complementary partial resolution squares for Steiner triple systems. Our main result is the existence of six complementary partial resolution squares for Steiner triple systems of order v which can be superimposed in a v × v array so that the resulting array is als...

متن کامل

Operationally invariant measure of the distance between quantum states by complementary measurements.

We propose an operational measure of distance of two quantum states, which conversely tells us their closeness. This is defined as a sum of differences in partial knowledge over a complete set of mutually complementary measurements for the two states. It is shown that the measure is operationally invariant and it is equivalent to the Hilbert-Schmidt distance. The operational measure of distance...

متن کامل

Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions

We present a new symbolic method based on partial order reduction to reduce verification problem size and state space of a multi-threaded concurrent system with shared variables and locks. We combine our method with a previous token-based approach that generates verification conditions directly without a scheduler. For a bounded unrolling of threads, the previous approach adds concurrency const...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Discrete Mathematics

دوره 113  شماره 

صفحات  -

تاریخ انتشار 1993